prod{-}deq{-}aux\{v:l,i:l\}($A$;$B$;$a$;$b$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$TERMOF\{proddeq{-}property:ObjectId, v:l, i:l\}($A$,$B$,$a$,$b$)